→

↖

↓

a²

b²

c²

b

a

Théorème\ de\ Pythagore

MathsEnClair.com

-bougez\ chacune\ des\ trois\ billes\ rouge,\ violette,\
bleue\ comme\ indiqué\ par\ les\ flèches- 

c

a = 1.2 (slider from 0 to 3, step 0.1)
b = 3 (slider from 0 to 3, step 0.1)
A = (-1.792377474533921, -3.2941110897559076)
B_1 = (6.341391504901014, -3.2941110897559076)
c = Ray(A, B_1)
d = Circle(A, a)
C_1 = Intersect(d, c, 1)
e = Circle(C_1, b)
B = Intersect(e, c, 2)
f = OrthogonalLine(B, c)
g = OrthogonalLine(A, c)
h = Circle(A, B)
D = Intersect(h, g, 2)
i = OrthogonalLine(D, g)
C = Intersect(f, i)
j = Segment(A, B)
k = Segment(B, C)
l = Segment(C, D)
m = Segment(D, A)
p = Circle(A, a)
q = Circle(A, b)
E = Intersect(p, j, 1)
F = Intersect(q, m, 1)
r = Circle(D, a)
G = Intersect(r, l, 1)
n = Segment(D, G)
d_1 = Circle(C, a)
K = Intersect(d_1, k, 1)
b_1 = Segment(C, K)
M_3 = Point(b_1)
g_1 = OrthogonalLine(M_3, b_1)
k_1 = Circle(M_3, a)
M = Intersect(k_1, g_1, 1)
p_1 = Circle(M_3, b)
N = Intersect(p_1, k, 1)
poly3, n_1, m_1, l_1 = Polygon(M, M_3, N)
e_1 = Circle(B, a)
O = Intersect(e_1, j, 1)
a_1 = Segment(A, O)
M_1 = Point(a_1)
f_1 = OrthogonalLine(M_1, a_1)
q_1 = Circle(M_1, a)
Q = Intersect(q_1, j, 1)
r_1 = Circle(M_1, b)
R = Intersect(r_1, f_1, 2)
poly1, r_2, p_2, q_2 = Polygon(M_1, Q, R)
s_1 = OrthogonalLine(F, m)
t_1 = OrthogonalLine(O, j)
S = Intersect(s_1, t_1)
a_2 = Segment(S, B)
M_2 = Point(a_2)
b_2 = OrthogonalLine(M_2, k)
c_2 = OrthogonalLine(M_2, j)
d_2 = Circle(M_2, a)
U = Intersect(d_2, c_2, 2)
e_2 = Circle(M_2, b)
V = Intersect(e_2, b_2, 2)
poly4, u, v, t_2 = Polygon(V, M_2, U)
H = Intersect(r, m)
I = Intersect(d_1, l)
poly2, i_1, h_1, d_3 = Polygon(H, D, I)
J = Midpoint(I, K)
L = Midpoint(F, O)
P = Midpoint(D, B)
o: abs(b)
T = (6.941045550643856, -1.464397463002115)
s_2: abs(a)
W = Point(Circle[T, abs(a)])
s = Segment(T, W)
t = OrthogonalLine(T, s)
c_1 = Circle(T, b)
Z = Intersect(c_1, t, 2)
poly5, z, t_3, w = Polygon(T, W, Z)
Z_1: Z - (0.25, 0)
T_1: T - (0.25, 0)
A_1 = Midpoint(Z_1, T_1)
u_1 = Vector(A_1, Z_1)
v_1 = Vector(A_1, T_1)
T_2: T - (0, 0.25)
W_2: W - (0, 0.25)
D_1 = Midpoint(T_2, W_2)
w_1 = Vector(D_1, T_2)
j_1 = Vector(D_1, W_2)
α = Angle(W, T, Z)
β = Angle(W, T, Z)
E_1 = Midpoint(W, Z)